University Link - PDFSEARCH.IO - Document Search Engine

University Link
Results: 1271

#	Item
731	Spatio-Temporal Stream Reasoning with Incomplete Spatial Information Fredrik Heintz and Daniel de Leng Link¨oping University, [removed]Link¨oping, Sweden Abstract. Reasoning about time and space is essential for many app Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2014-08-04 07:34:55 Knowledge representation Cognitive science Reasoning Constraint programming Educational psychology Spatial–temporal reasoning Qualitative reasoning Region connection calculus Temporal logic Logic Science Mathematics
732	Logical Agents that Plan, Execute, and Monitor Communication∗ Martin Magnusson and David Land´en and Patrick Doherty Department of Computer and Information Science, Link¨oping University, Sweden {marma,davla,patdo}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:41 Epistemology Reasoning Knowledge representation Logic programming Frame problem Reasoning system Automated planning and scheduling Fluent Unmanned aerial vehicle Artificial intelligence Science Knowledge
733	Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:34:52 Artificial intelligence Epistemology Knowledge representation Logic programming Mathematical logic Frame problem Intelligent agent Speech act Resolution Logic Science Knowledge
734	A Delegation-Based Cooperative Robotic Framework Patrick Doherty and Fredrik Heintz Dept. of Computer and Information Science, Link¨oping University, Sweden {patrick.doherty, fredrik.heintz}@liu.se Abstract— Cooperat Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-19 11:41:08 Artificial intelligence Contract Net Protocol Tree Constraint logic programming B-tree Static single assignment form Logic programming Computing Constraint programming Software engineering
735	Stream-Based Reasoning in DyKnow? Fredrik Heintz, Jonas Kvarnstr¨om, and Patrick Doherty {frehe, jonkv, patdo}@ida.liu.se Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-23 11:31:51 Inter-process communication Software engineering Computer programming Computer data Stream Computing Programming paradigms Models of computation
736	A Knowledge Processing Middleware Framework and its Relation to the JDL Data Fusion Model Fredrik Heintz∗and Patrick Doherty† Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Swed Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 06:57:27 Object-oriented programming Data fusion Fluent Object C++ Self Software engineering Computer programming Computing
737	DyKnow Federations: Distributing and Merging Information Among UAVs Fredrik Heintz and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, patdo}@ida.liu.s Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:11 Security Military terminology Signals intelligence Unmanned aerial vehicle FIPA Java Agent Development Framework Agent Communications Language Middleware Geographic information system Multi-agent systems Artificial intelligence National security
738	Towards On-Demand Semantic Event Processing for Stream Reasoning Daniel de Leng and Fredrik Heintz Department of Computer and Information Science Link¨oping University, Sweden {daniel.de.leng, fredrik.heintz}@liu.se Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2014-08-04 07:34:55 World Wide Web SPARQL Ontology Semantic reasoner Semantic Sensor Web Semantic publishing Resource Description Framework Semantic Web Information Computing
739	Semantic Information Integration for Stream Reasoning Fredrik Heintz and Zlatan Dragisic Department of Computer and Information Science, Link¨oping University, Sweden [removed] and [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-08-23 08:13:32 Science Data Information science Knowledge representation Knowledge engineering Web Ontology Language Description logic Semantic integration Knowledge representation and reasoning Semantic Web Ontology Information
740	Towards Ecient Universal Planning\|A Randomized Approach Peter Jonsson, Patrik Haslum and Christer Backstrom Department of Computer and Information Science Linkoping University, S[removed]Linkoping, Sweden fpetej,paha Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 04:30:41 Applied mathematics Polynomial hierarchy P SL L NC Time complexity FO Completeness Theoretical computer science Computational complexity theory Complexity classes

UPDATE